Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix boost url #302

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Fix boost url #302

wants to merge 1 commit into from

Conversation

sandhilt
Copy link

@sandhilt sandhilt commented Jan 2, 2025

Fix boost url from @stskeeps message:

[16:45]Carsten | Zippie: https://github.com/cartesi/machine-emulator/blob/main/Makefile#L213C1-L214C1 - the boost url no longer works

official one is https://archives.boost.io/release/1.81.0/source/boost_1_81_0.tar.gz
GitHub
[machine-emulator/Makefile at main · cartesi/machine-emulator](https://github.com/cartesi/machine-emulator/blob/main/Makefile)
The off-chain implementation of the Cartesi Machine - cartesi/machine-emulator

@sandhilt sandhilt changed the title Update boost url Fix boost url Jan 2, 2025
@edubart edubart self-requested a review January 3, 2025 16:25
@edubart edubart self-assigned this Jan 3, 2025
@edubart
Copy link
Contributor

edubart commented Jan 9, 2025

I approved, and will merge this only during the release process.

@edubart edubart added this to the v0.19.0 milestone Jan 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Waiting Merge
Development

Successfully merging this pull request may close these issues.

2 participants